Предаддити́вная категория — обогащённая категория над категорией абелевых групп, то есть такая категория, что для любых её объектов ${\displaystyle A}$, ${\displaystyle B}$ множество ${\displaystyle {\text{Hom}}(A,B)}$ имеет структуру абелевой группы по сложению, при этом композиция морфизмов билинейна:

${\displaystyle (g_{1}+g_{2})\circ f=g_{1}\circ f+g_{2}\circ f}$

${\displaystyle g\circ (f_{1}+f_{2})=g\circ f_{1}+g\circ f_{2}}$

Предаддитивную категорию иногда называют также ${\displaystyle Ab}$-категорией.